First-Order Reasoning for Attempto Controlled English
نویسنده
چکیده
RACE is a first-order reasoner for Attempto Controlled English (ACE) that can show the (in-) consistency of a set of ACE axioms, prove ACE theorems from ACE axioms and answer ACE queries from ACE axioms. In each case RACE gives a proof justification in ACE and full English. This paper is a system description of RACE sketching its structure, its implementation, its operation and its user interface. The power and the limitations of RACE are demonstrated and discussed by concrete examples.
منابع مشابه
Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability, User Interfaces
We present Attempto Controlled English — a userfriendly first-order logic language with a rich English syntax — and its associated tools, and demonstrate how they meet the challenges of knowledge representation, reasoning, interoperability and user interfaces created by large software projects like the semantic web.
متن کاملAttempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces
We present Attempto Controlled English — a userfriendly first-order logic language with a rich English syntax — and its associated tools, and demonstrate how they meet the challenges of knowledge representation, reasoning, interoperability and user interfaces created by large software projects like the semantic web. Attempto Controlled English Meets the Challenges of Knowledge Representation, R...
متن کاملAttempto Controlled English for Knowledge Representation
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-order logic. ACE may seem to be completely natural, but is actually a formal language, concretely it is a first-order logic language with an English syntax. Thus ACE is human and machine understandable. ACE was originall...
متن کاملAttempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines
Attempto Controlled English (ACE) is a knowledge representation language with an English syntax. Thus ACE can be used by anyone, even without being familiar with formal notations. The Attempto Parsing Engine translates ACE texts into discourse representation structures, a variant of first-order logic. Hence, ACE turns out to be a logic language equivalent to full first-order logic. The two view...
متن کاملReasoning in Attempto Controlled English
Attempto Controlled English (ACE) – a subset of English that can be unambiguously translated into first-order logic – is a knowledge representation language. To support automatic reasoning in ACE we have developed the Attempto Reasoner RACE (Reasoning in ACE). RACE proves that one ACE text is the logical consequence of another one, and gives a justification for the proof in ACE. Variations of t...
متن کامل